''a'' ∈ ''X''∪''Y''   ⇔   ''a'' ∈ ''X'' ∨ ''a'' ∈ ''Y''
   HOME
*